The Ditmarsch Tale of Wonders - The Dynamics of Lying
نویسنده
چکیده
We propose a dynamic logic of lying, wherein a 'lie that ϕ' (where ϕ is a formula in the logic) is an action in the sense of dynamic modal logic, that is interpreted as a state transformer relative to the formula ϕ. The states that are being transformed are pointed Kripke models encoding the uncertainty of agents about their beliefs. Lies can be about factual propositions but also about modal formulas, such as the beliefs of other agents or the belief consequences of the lies of other agents. We distinguish (i) an outside observer who is lying to an agent that is modelled in the system, from (ii) one agent who is lying to another agent, and where both are modelled in the system. For either case, we further distinguish (iii) the agent who believes everything that it is told (even at the price of inconsistency), from (iv) the agent who only believes what it is told if that is consistent with its current beliefs, and from (v) the agent who believes everything that it is told by consistently revising its current beliefs. The logics have complete axiomatizations, which can most elegantly be shown by way of their embedding in what is known as action model logic or the extension of that logic to belief revision.
منابع مشابه
An Architectural Tale of the Two Cities
A comparative study of the corresponding styles of Western and Iranian modern architecture has hardly ever been carried out in detail. This paper aims to sketch out an outline for such an investigation and to present a summary of empirical evidence accompanied by field observations to elaborate the ongoing trend of relationship between architectural styles in Iran and that of the West. This is ...
متن کاملA Force Like No Other Evolution of Yosemite : A Tale of Glaciers Past
.......................................................................................................................................2 Overview of Yosemite’s History .................................................................................................2 Yosemite Discovery...................................................................................................................
متن کاملDynamics of lying
We propose a dynamic logic of lying, wherein a ‘lie that φ’ (where φ is a formula in the logic) is an action in the sense of dynamic modal logic, that is interpreted as a state transformer relative to the formula φ. The states that are being transformed are pointed Kripke models encoding the uncertainty of agents about their beliefs. Lies can be about factual propositions but also about modal f...
متن کاملEuphemistic Strategies Used by Iranian EFL Learners: Death and Lying in Focus
Euphemism is a communicative strategy used to frame a polite or less offensive language and to save people’s public face in communication. This study investigated the euphemistic strategies used by Persian speakers in situations associated with death and lying. Warren’s model of euphemism was drawn on as the analytic model guiding the study. To conduct the study, 60 male and female university s...
متن کامل